Search Results
Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 1.
Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 2.
Turing Award winner Leslie Lamport
Lamport TLA+ Course Lecture 8: Paxos Commit Part 1: Preliminaries (HD)
A Conversation with Turing Award Winner Leslie Lamport
The Man Who Revolutionized Computer Science With Math
Leslie Lamport, 2013 ACM Turing Award Recipient - Part 1
Leslie Lamport (2013 Turing Award Winner)
A Conversation with Turing Award Winner Leslie Lamport
Lamport on the origins of Paxos
L9: Paxos Simplified
Lamport on discovering the Bakery Algorithm
